Inconsistent formula